إثبات المعرفة الصفرية

يكمن الفارق الجوهري بين Manta Pacific وManta Atlantic في أدوارهما الوظيفية المختلفة: فـ Pacific هي شبكة طبقة 2 معيارية مبنية على إيثريوم، متخصصة في نشر وتوسيع نطاق التطبيقات اللامركزية القائمة على البراهين ذات المعرفة الصفرية (ZK)؛ أما Atlantic فهي شبكة طبقة 1 من ZK على بولكادوت، مخصصة للبنية التحتية لهوية الامتثال على السلسلة عبر zkAddress وzkSBT. تنتمي كلتا السلسلتين إلى النظام البيئي لـ Manta Network، وتتقاسمان رمز الخدمة الأصلي MANTA، لكنهما تختلفان بنيويًا في أنظمتهما البيئية الأساسية، والمكدسات التقنية، وفئات المستخدمين المستهدفة.

مانتا نيتورك (MANTA) هي منظومة بلوكشين معيارية مخصصة لتطبيقات صفر المعرفة (ZK)، وتضم مكونين: مانتا باسيفيك—وهي شبكة طبقة 2 معيارية ضمن منظومة إيثريوم—ومانتا أتلانتيك، وهي شبكة طبقة 1 بصفر المعرفة على بولكادوت. تعتمد باسيفيك على طبقة توافر البيانات "سيليستيا" إلى جانب بيئة تنفيذ EVM/zkEVM لتمكين التطبيقات اللامركزية، بينما تتخصص أتلانتيك في الهوية المتوافقة على السلسلة، وتقديم بنية تحتية قابلة للبرمجة لهوية صفر المعرفة عبر zkSBT وzkAddress.

Universal Circuits هي مكتبة دوائر جاهزة قائمة على خدمة ZK (ZK-as-a-Service) منشورة على Manta Pacific. يمكن لمطوّري Solidity إضافة وظائف المعرفة الصفرية إلى تطبيقاتهم اللامركزية (dApps) عبر واجهات العقود القياسية، دون الحاجة إلى التحول إلى لغات ZK متخصصة مثل Cairo. وتشمل التطبيقات النموذجية: المدفوعات المتوافقة، والتحقق من الهوية، والألعاب على السلسلة مثل zkShuffle.

zkAddress وzkSBT هما المكونان الأساسيان لهوية الخصوصية اللذان طورتهما Manta Network على سلسلة Manta Atlantic. يوفر zkAddress عناوين خصوصية من نمط UTXO قابلة لإعادة الاستخدام، بينما يربط zkSBT بيانات اعتماد الامتثال بذلك العنوان عبر إثباتات المعرفة الصفرية. ويشكلان معًا البنية التحتية للهوية المتوافقة على سلسلة Atlantic، مما يمكّن تطبيقات Web3 من التحقق من الهويات دون الكشف عن البيانات الشخصية الأصلية للمستخدمين.

تتضمن عملية جسر الأصول إلى Manta Pacific خطوات متكررة من الإقفال، والسك، وتعيين الأرصدة بين Ethereum الشبكة الرئيسية وManta Pacific، وهي شبكة طبقة 2 معيارية، وذلك باستخدام جسر عبر السلسلة. وتعمل Manta Pacific بوصفها طبقة التنفيذ لشبكة Manta ضمن منظومة Ethereum، حيث تتيح النشر والتفاعل على السلسلة لأصول ETH وERC-20 وغيرها من الأصول. وللمشاركة في تطبيقات النظام البيئي على جانب Pacific، ينبغي للمستخدمين فهم كيفية تفعيل الجسر، وكيفية تغيّر حالات النظام داخليًا، وطريقة التأكد من وصول الأموال.

Zcash Orchard هو مجمع المعاملات المحمية من الجيل الثالث في شبكة Zcash، ويُبنى على نظام إثبات المعرفة الصفرية Halo 2 لتعزيز كفاءة المعاملات الخاصة وقابليتها للتوسع وقابليتها للترقية طويلة الأجل. وبالمقارنة مع الإصدارين السابقين Sprout وSapling، يُقلّص Orchard الاعتماد على الإعداد الموثوق، مع تحسين سير عمل توليد الإثباتات والتحقق منها.

تستبدل آلية التشغيل الأساسية في Nockchain حسابات التجزئة التقليدية لنظام إثبات العمل (PoW) بإثباتات المعرفة الصفرية. ففي Nockchain، لم يعد عمال التعدين يتنافسون على الكتل عبر عمليات تجزئة غير مجدية، بل يولّدون إثباتات قابلة للتحقق للمشاركة في إجماع الشبكة. وتشتمل بنية Nockchain على مكونات مثل NockVM وNockApp وProofpower وGlobal Consensus SNARKs، وكلها صُممت لبناء شبكة إثبات لامركزية تدعم AI، وتطبيقات الخصوصية، والحسابات القابلة للتحقق.

Nockchain هي شبكة بلوكشين قائمة على إثبات العمل بالمعرفة الصفرية (ZKPoW)، وهدفها الجوهري استبدال حسابات التجزئة غير المجدية في نظام إثبات العمل التقليدي بإنتاج إثباتات المعرفة الصفرية (ZK proving) القابلة للتحقق وذات القيمة التطبيقية. وخلافًا لـ Bitcoin التي تقوم على التنافس في معدل التجزئة، تُوجّه Nockchain القوة الحاسوبية للمعدّنين نحو إنتاج إثباتات حسابية قابلة للتحقق، لتؤسّس بذلك نموذج "إثبات عمل مفيد".

يُعد كل من Railgun وTornado Cash بروتوكولَي خصوصية على السلسلة، لكنهما يختلفان اختلافًا جوهريًا في فلسفة التصميم ونهج التشغيل. يعمل Tornado Cash كمازج مجهول الهوية، مستخدمًا مجمعات ذات فئات ثابتة لكسر الارتباط بين الأموال. في المقابل، يعتمد Railgun على بروتوكول التمويل اللامركزي الخاص القائم على zk-SNARK، مما يتيح حسابات خصوصية، ومعاملات سرية، وتفاعلات مجهولة مع العقود الذكية.

يُعد Railgun بروتوكول خصوصية للتمويل اللامركزي (DeFi) يعمل على سلاسل بلوكشين EVM، ويوظف إثباتات المعرفة الصفرية zk-SNARK لإخفاء عناوين المستخدمين وأرصدة الأصول ومبالغ المعاملات والنشاط على السلسلة، مع الحفاظ على قابلية التشغيل البيني مع بروتوكولات النظام البيئي كـ Ethereum وArbitrum وBNB Chain. بخلاف عملات الخصوصية أو الخلاطات التقليدية، لا يعتمد Railgun على سلسلة بلوكشين منفصلة؛ بل يتيح إجراء معاملات خاصة وتفاعلات مجهولة مع العقود الذكية مباشرة على السلسلة الأصلية.

يُعد SP1 zkVM جهازًا افتراضيًا للمعرفة الصفرية متعدد الأغراض، يتيح للمطورين كتابة أي برنامج بلغة Rust وتوليد إثباتات معرفة صفرية قابلة للتحقق. وهو مناسب بشكل خاص للتطبيقات عبر السلسلة، وتوسيع نطاق الرول أب، والحوسبة القابلة للتحقق باستخدام الذكاء الاصطناعي. في المقابل، يركز zkEVM على إنتاج إثباتات متوافقة مع النظام البيئي لإيثيريوم، خاصة للتداول على السلسلة والتحقق من العقود الذكية. ويختلف الاثنان اختلافًا جوهريًا في قابلية البرمجة، وكفاءة التحقق، ومعدل التجزئة اللامركزي، والتكامل مع النظام البيئي، مما يتيح للمطورين اختيار البنية التحتية المثلى للمعرفة الصفرية وفقًا لاحتياجات تطبيقاتهم المحددة.

SP1 zkVM هي آلة افتراضية متعددة الأغراض للإثبات الصفري (zkVM) طورتها Succinct، وتسمح للمطورين بكتابة برامج بلغة Rust وتوليد إثباتات ZK تلقائيًا. تتضمن عمليتها الأساسية: ترجمة برامج Rust إلى تعليمات RISC-V، وتنفيذها على zkVM لإنشاء أثر تنفيذ، ثم تحويل هذا الأثر إلى إثبات STARK، وضغطه إلى إثبات SNARK، وأخيرًا رفعه للتحقق على السلسلة.

شبكة المُثبِت من Succinct هي متجر لامركزي لمعدل التجزئة مخصصة لإثباتات المعرفة الصفرية (ZK Proof)، حيث تصل بين طالبي الإثبات وعقد المُثبِت حول العالم. يقدّم المطورون كود البرنامج وبيانات الإدخال لبدء طلبات الإثبات. ويقوم نظام المزاد (Auctioneer) في الشبكة بتوزيع المهام وفقًا للتكلفة والسرعة وسمعة العقدة. ثم تنفّذ عقد المُثبِت البرنامج على SP1 zkVM، وتُولّد إثبات المعرفة الصفرية، وتُرسله للتحقق والتسوية على السلسلة.

تُعد Succinct شبكة إثبات المعرفة الصفرية (ZK Proof) لامركزية مبنية على إيثريوم، توفّر للمطورين بنية تحتية قابلة للبرمجة ومنخفضة العوائق لتوليد البراهين. بفضل مكونها الأساسي، SP1 zkVM، يستطيع المطورون كتابة برامج قابلة للتحقق مباشرة بلغات عامة مثل Rust، مما يلغي الحاجة لتصميم دوائر ZK معقدة يدويًا. وتقوم شبكة المُثبِت Succinct بربط طلبات البرهان بموارد معدل التجزئة العالمية عبر متجر مفتوح للمثبتين، مما يسهّل توليد البراهين والتحقق منها وتسويتها.

تقدم كل من Succinct وRISC Zero بنية تحتية لإثباتات المعرفة الصفرية (ZK Proof)، لكن أهدافهما التصميمية تختلف. تركز Succinct على متجر إثباتات لا مركزية وطبقة تحقق شاملة، مما يتيح التحقق عبر السلسلة، والرول أب (Rollup)، والحساب القابل للتحقق بالذكاء الاصطناعي عبر بيئة zkVM SP1 وشبكة المُثبِت. في المقابل، تركّز RISC Zero على بيئات تنفيذ قابلة للتحقق وتجربة المطوّرين، مستفيدةً من بنية RISC-V لخفض عتبة تطوير تطبيقات ZK. يختلف الحلان اختلافًا جوهريًا في هندسة zkVM، وسير عمل توليد الإثباتات، والآليات الاقتصادية، والموقع في النظام البيئي، وحالات الاستخدام الملائمة.